Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів
2

The character of quotation

Chung-chieh Shan
Журнал:
Linguistics and Philosophy
Рік:
2010
Мова:
english
Файл:
PDF, 2.03 MB
english, 2010
3

Lightweight Static Capabilities

Oleg Kiselyov, Chung-chieh Shan
Журнал:
Electronic Notes in Theoretical Computer Science
Рік:
2007
Мова:
english
Файл:
PDF, 400 KB
english, 2007
4

A static simulation of dynamic delimited control

Chung-chieh Shan
Журнал:
Higher-Order and Symbolic Computation
Рік:
2007
Мова:
english
Файл:
PDF, 665 KB
english, 2007
6

Explaining Crossover and Superiority as Left-to-Right Evaluation

Chung-Chieh Shan and Chris Barker
Журнал:
Linguistics and Philosophy
Рік:
2006
Мова:
english
Файл:
PDF, 4.50 MB
english, 2006
8

Combinators for impure yet hygienic code generation

Kameyama, Yukiyoshi, Kiselyov, Oleg, Shan, Chung-chieh
Журнал:
Science of Computer Programming
Рік:
2015
Мова:
english
Файл:
PDF, 688 KB
english, 2015
9

Symbolic conditioning of arrays in probabilistic programs

Narayanan, Praveen, Shan, Chung-chieh
Журнал:
Proceedings of the ACM on Programming Languages
Рік:
2017
Мова:
english
Файл:
PDF, 345 KB
english, 2017
10

A Modal Interpretation of the Logic of Interrogation

Rani Nelken, Chung-Chieh Shan
Журнал:
Journal of Logic, Language and Information
Рік:
2006
Мова:
english
Файл:
PDF, 246 KB
english, 2006
11

Types as Graphs: Continuations in Type Logical Grammar

Chris Barker, Chung-chieh Shan
Журнал:
Journal of Logic, Language and Information
Рік:
2006
Мова:
english
Файл:
PDF, 1014 KB
english, 2006
12

Explaining Crossover and Superiority as Left-to-right Evaluation

Chung-Chieh Shan, Chris Barker
Журнал:
Linguistics and Philosophy
Рік:
2006
Мова:
english
Файл:
PDF, 425 KB
english, 2006
13

The character of quotation

Chung-chieh Shan
Журнал:
Linguistics and Philosophy
Рік:
2010
Мова:
english
Файл:
PDF, 430 KB
english, 2010
14

On the dynamic extent of delimited continuations

Dariusz Biernacki, Olivier Danvy, Chung-chieh Shan
Журнал:
Information Processing Letters
Рік:
2005
Мова:
english
Файл:
PDF, 102 KB
english, 2005
15

On the static and dynamic extents of delimited continuations

Dariusz Biernacki, Olivier Danvy, Chung-chieh Shan
Журнал:
Science of Computer Programming
Рік:
2006
Мова:
english
Файл:
PDF, 369 KB
english, 2006
16

Functional un|unparsing

Kenichi Asai, Oleg Kiselyov, Chung-chieh Shan
Журнал:
Higher-Order and Symbolic Computation
Рік:
2011
Мова:
english
Файл:
PDF, 899 KB
english, 2011
18

[Lecture Notes in Computer Science] Programming Languages and Systems Volume 8301 ||

Shan, Chung-chieh
Рік:
2013
Мова:
english
Файл:
PDF, 4.68 MB
english, 2013
20

Purely functional lazy nondeterministic programming

FISCHER, SEBASTIAN, KISELYOV, OLEG, SHAN, CHUNG-CHIEH
Журнал:
Journal of Functional Programming
Рік:
2011
Мова:
english
Файл:
PDF, 415 KB
english, 2011
22

Shifting the stage

KAMEYAMA, YUKIYOSHI, KISELYOV, OLEG, SHAN, CHUNG-CHIEH
Журнал:
Journal of Functional Programming
Рік:
2011
Мова:
english
Файл:
PDF, 1.00 MB
english, 2011
31

Backtracking, interleaving, and terminating monad transformers

Kiselyov, Oleg, Shan, Chung-chieh, Friedman, Daniel P., Sabry, Amr
Журнал:
ACM SIGPLAN Notices
Рік:
2005
Мова:
english
Файл:
PDF, 150 KB
english, 2005
32

Lightweight monadic regions

Kiselyov, Oleg, Shan, Chung-chieh
Журнал:
ACM SIGPLAN Notices
Рік:
2009
Мова:
english
Файл:
PDF, 211 KB
english, 2009
33

Purely functional lazy non-deterministic programming

Fischer, Sebastian, Kiselyov, Oleg, Shan, Chung-chieh
Журнал:
ACM SIGPLAN Notices
Рік:
2009
Мова:
english
Файл:
PDF, 422 KB
english, 2009
34

A Modal Interpretation of the Logic of Interrogation

Rani Nelken and Chung-Chieh Shan
Журнал:
Journal of Logic, Language and Information
Рік:
2006
Мова:
english
Файл:
PDF, 2.28 MB
english, 2006
35

Types as Graphs: Continuations in Type Logical Grammar

Chris Barker and Chung-Chieh Shan
Журнал:
Journal of Logic, Language and Information
Рік:
2006
Мова:
english
Файл:
PDF, 3.87 MB
english, 2006